21![NASA developer secures way to the stars - SD Times On The Web Page 1 of 3 As of May 01, :55 AM NASA developer secures way to the stars - SD Times On The Web Page 1 of 3 As of May 01, :55 AM](https://www.pdfsearch.io/img/1c6aca9648037cced88af241a164f0fc.jpg) | Add to Reading ListSource URL: spinroot.comLanguage: English - Date: 2009-05-08 19:16:21
|
---|
22![National Aeronautics and Space Administration NASA FORMAL METHODS Symposium National Aeronautics and Space Administration NASA FORMAL METHODS Symposium](https://www.pdfsearch.io/img/343d922bce2e7cbaeef4115bccd613ba.jpg) | Add to Reading ListSource URL: lars-lab.jpl.nasa.govLanguage: English - Date: 2010-10-15 12:52:56
|
---|
23![IMG_0232 Credit: Photo © 2009 Gerard J. Holzmann IMG_0232 Credit: Photo © 2009 Gerard J. Holzmann](https://www.pdfsearch.io/img/1ab366994ec53bcdc2cbaefb460342a6.jpg) | Add to Reading ListSource URL: pasadenaartscouncil.axsfestival.orgLanguage: English - Date: 2012-06-22 20:24:56
|
---|
24![UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT](https://www.pdfsearch.io/img/a3b43a11073880a371cba4032f8bffe1.jpg) | Add to Reading ListSource URL: www.spinroot.comLanguage: English - Date: 2008-06-30 15:34:28
|
---|
25![National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011 National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011](https://www.pdfsearch.io/img/444e888cb5822563dc3de1ede63ac488.jpg) | Add to Reading ListSource URL: www.grammatech.comLanguage: English - Date: 2014-11-26 00:46:21
|
---|
26![The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid](https://www.pdfsearch.io/img/db896e05a715e2c737abda0a0ac050ce.jpg) | Add to Reading ListSource URL: pixelscommander.comLanguage: English - Date: 2014-12-25 18:52:44
|
---|
27![SCRUB: a tool for code reviews Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory / California Institute of Technology, Pasadena, CA 91109, USA phone: [removed]fax: [removed] SCRUB: a tool for code reviews Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory / California Institute of Technology, Pasadena, CA 91109, USA phone: [removed]fax: [removed]](https://www.pdfsearch.io/img/36d154f34ed0f46e7afd8cf4cf3bd744.jpg) | Add to Reading ListSource URL: spinroot.comLanguage: English - Date: 2010-12-24 14:19:15
|
---|
28![Reliable Software Systems Design Gerard J. Holzmann Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Abstract The grand challenge that is the focus of this conference targets the development of a Reliable Software Systems Design Gerard J. Holzmann Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Abstract The grand challenge that is the focus of this conference targets the development of a](https://www.pdfsearch.io/img/66adab87163b57583e30dd08a46e90b7.jpg) | Add to Reading ListSource URL: vstte.inf.ethz.chLanguage: English - Date: 2005-04-11 09:01:54
|
---|
29![SOFTWARE TECHNOLOGIES The Power of 10: Rules for Developing SafetyCritical Code Gerard J. Holzmann SOFTWARE TECHNOLOGIES The Power of 10: Rules for Developing SafetyCritical Code Gerard J. Holzmann](https://www.pdfsearch.io/img/1b322eb0a95e9d2906aa954572f2aa36.jpg) | Add to Reading ListSource URL: spinroot.comLanguage: English - Date: 2008-06-30 15:34:26
|
---|
30![Agile Verification Gerard J. Holzmann [removed]
how we design & test software today Agile Verification Gerard J. Holzmann [removed]
how we design & test software today](https://www.pdfsearch.io/img/77fd0caaa9b3281bc220698d7f317e19.jpg) | Add to Reading ListSource URL: www.kiss.caltech.eduLanguage: English - Date: 2012-08-03 13:15:57
|
---|